Modelling Uncertainty in 3APL

نویسنده

  • Johan Kwisthout
چکیده

Acknowledgements I would like to thank my supervising committee and fellow students, both at the artificial intelligence-thesis group at the Open Universiteit, and my collegue-thesis students in 'room 142' in Utrecht, for their support, thoughtful critique and interest. I owe especially much to Schil de Vos and Mehdi Dastani. Schil, having supervised tens of students at the Open Universiteit, knows probably better than anyone else out there what it takes to combine thesis research, a job and a family. As a mentor, Schil did his best to guide me through the bureaucracy an university sometimes can be. Mehdi was more than 'just' a daily supervisor. He learned me the tricks of the trade of writing an academic paper, showed genuine interest in my work and greatly stimulated me to pursue an academic career. I hope we have ample opportunity to continue working together. Some people greatly influenced my research interests, most probably without knowing. Although I hesitate to list such great and renowned researchers in this thesis, I feel I owe credit to Luc Steels, whose book 'Kennissystemen' first introduced me to Artificial Intelligence; Paul Churchland, Jerry Fodor and John Searle, whose disputes helped me to form my own opinion on Artificial Intelligence and how it is to be accomplished, and Arthur C. Clarke and Stanley Kubrick (and of course HAL) for inspiration and imagination. Last, but certainly not least, I thank Judith for her love and caring. Hopefully I have some more spare time now to spend together.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Semantics of Plan Revision in Intelligent Agents

In this paper, we give an operational and denotational semantics for a 3APL meta-language, with which various 3APL interpreters can be programmed. We moreover prove equivalence of these two semantics. Furthermore, we relate this 3APL meta-language to object-level 3APL by providing a specific interpreter, the semantics of which will prove to be equivalent to object-level 3APL.

متن کامل

Implementing Cognitive Agents in 3APL

3APL is a programming language for implementing cognitive agents. We demonstrate a Java implementation of the 3APL interpreter developed at the Institute of Information and Computing Sciences at Utrecht University. The presented work is a part of a NWO research project. More information on this project can be found at http://www.cs.uu.nl/3apl/. The demonstration, which takes less than 30 minute...

متن کامل

Dynamic Logic for Plan Revision in Agent Programming

In this paper, we present a dynamic logic for a propositional version of the agent programming language 3APL. A 3APL agent has beliefs and a plan. The execution of a plan changes an agent’s beliefs. Plans can be revised during execution by means of plan revision rules. Due to these plan revision capabilities of 3APL agents, plans cannot be analyzed by structural induction as in for example stan...

متن کامل

An Embedding of ConGolog in 3APL

Several high-level programming languages for programming agents and robots have been proposed in recent years. Each of these languages has its own features and merits. It is still difficult, however, to compare different programming frameworks and evaluate the relative benefits and disadvantages of these frameworks. In this paper, we present a general method for comparing agent programming fram...

متن کامل

Modelling and Compensation of uncertain time-delays in networked control systems with plant uncertainty using an Improved RMPC Method

Control systems with digital communication between sensors, controllers and actuators are called as Networked Control Systems (NCSs). In general, NCSs encounter with some problems such as packet dropouts and network induced delays. When plant uncertainty is added to the aforementioned problems, the design of the robust controller that is able to guarantee the stability, becomes more complex. In...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2005